Listar por tema "Lenguaje síncrono"
Mostrando ítems 1-1 de 1
-
A Formal Interactive Verification Environment for the Plan Execution Interchange Language
(Springer NatureUSA.Switzerland, 2012)The Plan Execution Interchange Language (PLEXIL) is an open source synchronous language developed by NASA for commanding and monitoring autonomous systems. This paper reports the development of the PLEXIL’s Formal Interactive ...